|
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 02 |
On The Efficient Engineering Of Ambitious Program Analysis
(Article)
Subject:
Data Flow Analysis
,
Data Flow Chains
,
Compact Representation
Author:
Jong-Deok
Choi
Ron
Cytron
Jeanne
Ferrante
page:
105
-
114
A New Structural Induction Theorem For Rings Of Temporal Petri Nets
(Article)
Subject:
Petri Net
,
Temporal Logic
,
Structural Interaction
Author:
Jianan
Li
Lchiro
Suzuki
Masafumi
Yamashita
page:
115
-
126
Proving Properties Of Real-Time Systems Through Logical Specifications And Petri Net Models
(Article)
Subject:
Real Time And Embedded Systems
,
Temporal Logic
,
Formal Specification
Author:
Miguel
Felder
Dino
Mandrioli
Angelo
Morzednti
page:
127
-
141
The Effect Of Imperfect Error Detection On Reliability Assessment Via Life Testing
(Article)
Subject:
Error Detection
,
Software Reliability
,
Test Oracles
Author:
Paul E.
Ammann
Susan S.
Brilliant
John C.
Knight
page:
142
-
148
Test Selection Based On Communicating Nondeterministic Finite-State Machines Using A Generalized Wp- Method
(Article)
Subject:
Concurrent Programs
,
Software Engineering
,
And Future Internet
Author:
Gang
Luo
Gregor V.
Bochmann
page:
149
-
162
|
|
| | |